Two notes on the axiomatics of structures with parallelism
نویسندگان
چکیده
We provide: (1) an independent quantifier-free axiomatization for André’s central translation structures and state a conjecture, which, if true, would show a very strong connection between central translation structures and translation planes; (2) a first-order axiomatization of Everett’s and Permutti’s affine geometries over rings without zero divisors in which any two non-zero elements have a right greatest common divisor.
منابع مشابه
A Comparative Study in Relation to the Translation of the Linguistic Humor
Mark Twain made use of repetition and parallelism as two comedic literary devices to bring comic effect to the readers. Linguistic devices of humor, repetition and parallelism seemed to create many difficulties in the translation of literary texts. The present study applied Delabatista‟s strategies for translating wordplays such as repetition and parallelism in the translation of humorous texts...
متن کاملSome notes on the characterization of two dimensional skew cyclic codes
A natural generalization of two dimensional cyclic code ($T{TDC}$) is two dimensional skew cyclic code. It is well-known that there is a correspondence between two dimensional skew cyclic codes and left ideals of the quotient ring $R_n:=F[x,y;rho,theta]/_l$. In this paper we characterize the left ideals of the ring $R_n$ with two methods and find the generator matrix for two dimensional s...
متن کاملToy Quantum Categories
We show that Rob Spekken’s toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact v...
متن کاملAxiomatics for Data Refinement in Call by Value Programming Languages
We give a systematic category theoretic axiomatics for modelling data re nement in call by value programming languages. Our leading examples of call by value languages are extensions of the computational -calculus, such as FPC and languages for modelling nondeterminism, and extensions of the rst order fragment of the computational -calculus, such as a CPS language. We give a category theoretic ...
متن کاملA Study of the Role of Repetition of Music in the Nimayee Poems of Akhavan Sales
In this article, the aim of the authors is to study the role of repetition in creating music and parallelism in Nimayee poems in the three collections of poems by Mehdi Akhavan Sales: Zamestan, Akhere Shahname and Az Avesta. Accordingly, the researchers have investigated the various manners of repetition in creating parallelism in the poems at three levels: phonological parallelism, lexical par...
متن کامل